Failed to solve the following constraints:
  _14 (k = k) f = suc (f (_14 (k = k) (λ x → k))) : Nat
    (blocked on _14)
Unsolved metas at the following locations:
  NotStronglyRigidOccurrence.agda:14,16-17
  NotStronglyRigidOccurrence.agda:16,12-16
